Dict(
	[10, 5, 9, 11, 16, 1, 1, 11, 1, 1] => QQFieldElem[128//9, 0, 0, 0])